Ir al contenido

Teorema de Gauss-Lucas

De Wikipedia, la enciclopedia libre
Representación gráfica de las raíces de un polinomio (en negro) y de las raíces de su derivada (en rojo), sobre el plano de los números complejos:

En análisis complejo, el teorema de Gauss-Lucas aporta una relación geométrica entre las raíces de un polinomio P y las raíces de su derivada P'. El conjunto de raíces de un polinomio real o complejo es un conjunto de puntos en el plano complejo. El teorema dice que todas las raíces de P' caen en la envoltura convexa de las raíces de P, es decir, el menor de los polígonos convexos que contiene las raíces de P. Cuando P tiene una sola raíz, esta envoltura convexa consiste en un solo punto; y cuando las raíces definen una recta, la envoltura convexa es un segmento de esa recta. El teorema de Gauss-Lucas, nombrado en honor a Carl Friedrich Gauss y Félix Lucas[1]​ es en esencia similar al teorema de Rolle.

Teorema

[editar]

Si P es un polinomio (no constante) con coeficientes complejos, todos los ceros de P ' pertenecen a la envoltura convexa del conjunto de ceros de P.


C. F. Gauss y F. Lucas

Casos especiales

[editar]

Es fácil ver que si P(x) = ax2 + bx + c es un polinomio de segundo grado, el cero de P '(x) = 2ax + b es la media de los ceros de P. En ese caso, la envoltura convexa es el segmento que tiene las dos raíces como extremos y la media de las raíces es el punto medio del mismo.

Además, si un polinomio de grado n de coeficientes reales tiene n raíces reales distintas , se puede ver que, usando el teorema de Rolle, los ceros de la derivada del polinomio se encuentran en el intervalo que es la envoltura convexa del conjunto de raíces.

Demostración

[editar]

Sobre los números complejos, P es un producto de factores primos

donde los números complejos son los ceros – no necesariamente distintos – del polinomio , el número complejo es el coeficiente principal de y es el grado de . Sea un número complejo tal que . Entonces se tiene la derivada logarítmica

En particular, si es un cero de y aun así , entonces

o

Esto también se puede expresar como

Tomando sus conjugados, se puede observar que z es una suma ponderada con coeficientes positivos que suman uno, o el baricentro, de los números complejos ai (a cada uno de los cuales se le asigna una masa distinta).

Si P(z) = P'(z) = 0, entonces z = 1·z + 0·ai, y sigue siendo una combinación convexa de las raíces de P.

Véase también

[editar]

Referencias

[editar]
  1. Félix Lucas, Sur une application de la Mécanique rationnelle à la théorie des équations, C. R. Hebdomadaires Séances Acad. Sci. LXXXIX (1879), 224–226

Enlaces externos

[editar]